weakly normal subgroup

弱正规子群